LanguageExt.Sys
LanguageExt.Sys ► Live
Contents
record Runtime (RuntimeEnv Env) Source #
Live IO runtime
Properties
property Activity? CurrentActivity Source #
property EnvIO EnvIO Source #
property K<Eff<Runtime>, ActivityEnv> Get Source #
Read the activity state
Methods
method Runtime New () Source #
Constructor function
method Runtime WithActivity (Activity? activity) Source #
method Runtime WithIO (EnvIO envIO) Source #
method K<Eff<Runtime>, Unit> Modify (Func<ActivityEnv, ActivityEnv> f) Source #
Modify the activity state
record RuntimeEnv (ActivityEnv Activity, EnvIO EnvIO) Source #
method void Dispose () Source #